Skip to content

Add test for issue #2144#2180

Merged
jatcwang merged 2 commits intotypelevel:mainfrom
david-lebl:main
Jan 30, 2025
Merged

Add test for issue #2144#2180
jatcwang merged 2 commits intotypelevel:mainfrom
david-lebl:main

Conversation

@david-lebl
Copy link
Contributor

No description provided.

@jatcwang jatcwang merged commit 0e2b9b6 into typelevel:main Jan 30, 2025
5 checks passed
@jatcwang
Copy link
Collaborator

Many thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants